<?php
function welcome()
{}